predicative thinking

См. также в других словарях:

• Phenomenology (The beginnings of) — The beginnings of phenomenology Husserl and his predecessors Richard Cobb Stevens Edmund Husserl was the founder of phenomenology, one of the principal movements of twentieth century philosophy. His principal contribution to philosophy was his… …   History of philosophy

• Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

• Existence (Philosophy of) 1 — Philosophy of existence 1 Heidegger Jacques Taminiaux At the very outset and up to the end, the long philosophical journey of Martin Heidegger (1889–1976) remained oriented by a single question, the question of Being, the Seinsfrage. This does… …   History of philosophy

• Plato: metaphysics and epistemology — Robert Heinaman METAPHYSICS The Theory of Forms Generality is the problematic feature of the world that led to the development of Plato’s Theory of Forms and the epistemological views associated with it.1 This pervasive fact of generality appears …   History of philosophy

• Existence — For other uses, see Existence (disambiguation). Philosophy …   Wikipedia

• English language — Language belonging to the Germanic languages branch of the Indo European language family, widely spoken on six continents. The primary language of the U.S., Britain, Canada, Australia, Ireland, New Zealand, and various Caribbean and Pacific… …   Universalium

• Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… …   Wikipedia

• Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… …   Wikipedia

• Ōita dialect — A sign that uses Ōita ben Ōita dialect, or Ōita ben, is a dialect of Japanese spoken in Ōita Prefecture in Kyushu, Japan. Even within the prefecture, regional differences are still prevalent; for example, vocabulary within the Hita and Nakatsu… …   Wikipedia

• Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

• Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… …   Wikipedia